Python: unsigned 32 bit bitwise arithmetic